Memory model

Results: 703



#Item
11

A Precise and Abstract Memory Model for C using Symbolic Values ∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2014-09-03 04:27:19
    12

    THE SYSTEM The 8510/a GRAPHICS COMPUTER SYSTEM consists of the Model 8510 DATA PROCESSOR, with FIS/EIS (Hardware floating point option) a 56K Byte memory/ video controller unit and the Model 8532 Keyboard/ Display. This

    Add to Reading List

    Source URL: www.bitsavers.org

    Language: English - Date: 2003-07-06 23:44:54
      13

      Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer Patients

      Add to Reading List

      Source URL: cri.mines-paristech.fr

      Language: English - Date: 2018-01-19 05:04:56
        14

        A RESERVOIR COMPUTING MODEL OF EPISODIC MEMORY David Bhowmik, Kyriacos Nikiforou, Murray Shanahan Michail Maniadakis, Panos Trahanias

        Add to Reading List

        Source URL: timestorm.eu

        Language: English - Date: 2017-09-18 02:15:56
          15

          MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in

          Add to Reading List

          Source URL: www.cis.upenn.edu

          Language: English - Date: 2007-11-15 11:26:54
            16

            Synaptic Mechanisms and Network Dynamics Underlying Spatial Working Memory in a Cortical Network Model Albert Compte, Nicolas Brunel1, Patricia S. Goldman-Rakic2 and Xiao-Jing Wang

            Add to Reading List

            Source URL: complab.fcrb.es

            Language: English - Date: 2008-11-11 12:13:15
              17

              A Concrete Memory Model for CompCert∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2015-08-24 04:29:37
                18

                NVM Programming Model (NPM) Version 1.2 Abstract: This SNIA document defines recommended behavior for software supporting NonVolatile Memory (NVM). This document has been released and approved by the SNIA. The SNIA belie

                Add to Reading List

                Source URL: www.snia.org

                - Date: 2017-08-24 14:10:14
                  19

                  The Global Sequence Protocol a Memory Model for Distributed Systems Sebastian Burckhardt

                  Add to Reading List

                  Source URL: jonathan.protzenko.fr

                  - Date: 2016-02-21 18:19:49
                    20

                    A memory model for multicore OCaml Stephen Dolan KC Sivaramakrishnan University of Cambridge 1

                    Add to Reading List

                    Source URL: kcsrk.info

                    - Date: 2017-07-14 09:07:10
                      UPDATE